Model checking - PDFSEARCH.IO - Document Search Engine

Model checking
Results: 996

#	Item
561	Model Composition in Model-Checking Von der Fakultät für Mathematik, Informatik und Naturwissenschaften der RWTH Aachen University zur Erlangung des akademischen Grades eines Doktors der Naturwissenschaften genehmigte Add to Reading List Source URL: darwin.bth.rwth-aachen.de Language: English - Date: 2014-03-28 05:48:09 Linear temporal logic Temporal logic
562	CS 243 Lecture 11 Binary Decision Diagrams (BDDs) in Pointer Analysis 1. Datalog BDD 2. BDDs Add to Reading List Source URL: dragonbook.stanford.edu Language: English - Date: 2008-09-08 14:03:58 Model checking Mathematics Theoretical computer science Boolean algebra Diagrams Binary decision diagram
563	CONTEXT-SENSITIVE POINTER ANALYSIS USING BINARY DECISION DIAGRAMS A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2007-04-01 19:35:12 Boolean algebra Diagrams Binary decision diagram Model checking Monica S. Lam Datalog Pointer analysis Algorithm Pointer Computing Mathematics Software engineering
564	SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions Anil Madhavapeddy1 , David Scott2 , and Richard Sharp3 1 Computer Laboratory, University of Cambridge Add to Reading List Source URL: anil.recoil.org Language: English - Date: 2013-09-29 14:14:18 SPIN model checker OCaml Model checking Application programming interfaces Secure Shell Promela Assertion Type system C Computing Software Model checkers
565	Automatic Extraction of Object-Oriented Component Interfaces John Whaley Michael C. Martin Monica S. Lam Computer Systems Laboratory Stanford University {jwhaley, Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2007-04-01 19:34:49 Object-oriented programming Java Model checking Static program analysis Class Objective-C Method Common Object Request Broker Architecture Actor model Computing Software engineering Computer programming
566	References Allen, M. R., and Smith, L. A[removed]Optimal filtering in singular spectrum analysis. Physics Letters A 234, [removed]Allen, M. R., and Tett, S. F. B[removed]Checking for model consistency in optimal fingerpri Add to Reading List Source URL: www.cru.uea.ac.uk Language: English - Date: 2009-12-22 04:43:47 Atmospheric sciences Gabriele C. Hegerl Attribution of recent climate change Climate change Klaus Hasselmann Carl Mears Climatologists Year of birth missing Environment
567	The 19th International Static Analysis Symposium Deauville, France[removed]September 2012 S AS[removed] Add to Reading List Source URL: www.sas2012.ens.fr Language: English - Date: 2012-07-03 06:17:35 Theoretical computer science Abstract interpretation Applied mathematics Model checking Program analysis Abstract management Formal verification Software bug Computer science Formal methods Logic in computer science Patrick Cousot
568	Efficient Large-Scale Model Checking Kees Verstoep [removed] VU University, Amsterdam, The Netherlands Joint work with: Add to Reading List Source URL: www.cs.vu.nl Language: English - Date: 2010-01-15 15:41:39 Transaction processing SPIN model checker Myrinet Distributed computing Henri Bal Scalability Computing Model checkers Model checking
569	Specifying and Analyzing Real-Time Object Systems in Real-Time Maude ¨ Peter C. Olveczky Department of Informatics, University of Oslo Add to Reading List Source URL: www.nik.no Language: English - Date: 2002-09-06 09:03:13 Logic in computer science Model checking Formal methods Functional specification Rewriting Maude Petri net Maude system Theoretical computer science Software development Computer science
570	CONTEXT-SENSITIVE POINTER ANALYSIS USING BINARY DECISION DIAGRAMS A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2007-04-01 19:35:11 Boolean algebra Diagrams Binary decision diagram Model checking Datalog Monica S. Lam Algorithm Pointer Stack Computing Software engineering Programming language theory

UPDATE